Modelling and verifying time‐aware processes for cyber‐physical environments
نویسندگان
چکیده
منابع مشابه
Modelling and Supporting Processes in Creative Environments
Processes in the screen business are characterised by their agile nature. First, the industry is constantly changing and recent technologies such as High Definition Television, digital production and new distribution channels are having deep impact on the industry’s value chain and processes. Second, processes contain tasks that are highly creative and involve different types of knowledge worke...
متن کاملModelling of Decision Making for Discrete Processes in Dynamic Environments*
In this paper we consider the use of rules and knowledge-based systems for the modelling of a broad class of decision problems. NEGOPLAN is a rule-based decision support tool, originally designed for negotiation support. We have used it to model processes with two participants, where the structure of the problem at any moment can be derived from the previous structure and decisions. We present ...
متن کاملSpecifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirements. We briefly outline some high-level requirements that an election process must satisfy and demonstrate how these are refined into a collection of lower-level properties that can be used as the basis for verification....
متن کاملSpecifying and Verifying Parametric Processes
A framework in which processes parametrized with other processes can be speciied, deened and veriied is introduced. Higher order process-parameters are allowed. The formalism resembles typed lambda calculus built on top of a process algebra, where speciications play the role of types. A proof system for deriving judgements \parametric process meets a speciication" is given.
متن کاملModelling and verifying virtual environment behaviour
Virtual environments are steadily becoming established in practice outside the context of specialist laboratories due to the reduction in cost and advances in hardware technology. Having achieved a capacity to use this technology, there is an increasing need to understand its functional capabilities and for making the technology usable. Consequently, usability and fitness-for-purpose are often ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IET Software
سال: 2019
ISSN: 1751-8806,1751-8814
DOI: 10.1049/iet-sen.2018.5034